TU Berlin

Modelle und Theorie Verteilter SystemePublikationen

MTV mit Schwung

Inhalt des Dokuments

zur Navigation

Publikationen

Open bisimulation, revisited
Zitatschlüssel DBLP:journals/tcs/BriaisN07a
Autor Sébastien Briais and Uwe Nestmann
Seiten 236-271
Jahr 2007
Journal Theor. Comput. Sci.
Jahrgang 386
Nummer 3
Link zur Publikation Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe